Optimal. Leaf size=206 \[ -\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {2 b c^3 d}{3 \left (c^2 d^2+e^2\right )^2 (d+e x)}+\frac {b c^4 d \left (c^2 d^2-3 e^2\right ) \text {ArcTan}(c x)}{3 e \left (c^2 d^2+e^2\right )^3}-\frac {a+b \text {ArcTan}(c x)}{3 e (d+e x)^3}+\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log (d+e x)}{3 \left (c^2 d^2+e^2\right )^3}-\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log \left (1+c^2 x^2\right )}{6 \left (c^2 d^2+e^2\right )^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.13, antiderivative size = 206, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {4972, 724, 815,
649, 209, 266} \begin {gather*} -\frac {a+b \text {ArcTan}(c x)}{3 e (d+e x)^3}+\frac {b c^4 d \text {ArcTan}(c x) \left (c^2 d^2-3 e^2\right )}{3 e \left (c^2 d^2+e^2\right )^3}-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log \left (c^2 x^2+1\right )}{6 \left (c^2 d^2+e^2\right )^3}-\frac {2 b c^3 d}{3 \left (c^2 d^2+e^2\right )^2 (d+e x)}+\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log (d+e x)}{3 \left (c^2 d^2+e^2\right )^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 266
Rule 649
Rule 724
Rule 815
Rule 4972
Rubi steps
\begin {align*} \int \frac {a+b \tan ^{-1}(c x)}{(d+e x)^4} \, dx &=-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {(b c) \int \frac {1}{(d+e x)^3 \left (1+c^2 x^2\right )} \, dx}{3 e}\\ &=-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {\left (b c^3\right ) \int \frac {d-e x}{(d+e x)^2 \left (1+c^2 x^2\right )} \, dx}{3 e \left (c^2 d^2+e^2\right )}\\ &=-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {\left (b c^3\right ) \int \left (\frac {2 d e^2}{\left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {e^2 \left (-3 c^2 d^2+e^2\right )}{\left (c^2 d^2+e^2\right )^2 (d+e x)}+\frac {c^2 d \left (c^2 d^2-3 e^2\right )-c^2 e \left (3 c^2 d^2-e^2\right ) x}{\left (c^2 d^2+e^2\right )^2 \left (1+c^2 x^2\right )}\right ) \, dx}{3 e \left (c^2 d^2+e^2\right )}\\ &=-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {2 b c^3 d}{3 \left (c^2 d^2+e^2\right )^2 (d+e x)}-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log (d+e x)}{3 \left (c^2 d^2+e^2\right )^3}+\frac {\left (b c^3\right ) \int \frac {c^2 d \left (c^2 d^2-3 e^2\right )-c^2 e \left (3 c^2 d^2-e^2\right ) x}{1+c^2 x^2} \, dx}{3 e \left (c^2 d^2+e^2\right )^3}\\ &=-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {2 b c^3 d}{3 \left (c^2 d^2+e^2\right )^2 (d+e x)}-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log (d+e x)}{3 \left (c^2 d^2+e^2\right )^3}+\frac {\left (b c^5 d \left (c^2 d^2-3 e^2\right )\right ) \int \frac {1}{1+c^2 x^2} \, dx}{3 e \left (c^2 d^2+e^2\right )^3}-\frac {\left (b c^5 \left (3 c^2 d^2-e^2\right )\right ) \int \frac {x}{1+c^2 x^2} \, dx}{3 \left (c^2 d^2+e^2\right )^3}\\ &=-\frac {b c}{6 \left (c^2 d^2+e^2\right ) (d+e x)^2}-\frac {2 b c^3 d}{3 \left (c^2 d^2+e^2\right )^2 (d+e x)}+\frac {b c^4 d \left (c^2 d^2-3 e^2\right ) \tan ^{-1}(c x)}{3 e \left (c^2 d^2+e^2\right )^3}-\frac {a+b \tan ^{-1}(c x)}{3 e (d+e x)^3}+\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log (d+e x)}{3 \left (c^2 d^2+e^2\right )^3}-\frac {b c^3 \left (3 c^2 d^2-e^2\right ) \log \left (1+c^2 x^2\right )}{6 \left (c^2 d^2+e^2\right )^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.43, size = 254, normalized size = 1.23 \begin {gather*} -\frac {2 (a+b \text {ArcTan}(c x))+\frac {b c (d+e x) \left (e \left (c^2 d^2+e^2\right )^2+4 c^2 d e \left (c^2 d^2+e^2\right ) (d+e x)-c^2 \left (c^2 d^2 \left (\sqrt {-c^2} d-3 e\right )+e^2 \left (-3 \sqrt {-c^2} d+e\right )\right ) (d+e x)^2 \log \left (1-\sqrt {-c^2} x\right )-c^2 \left (e^2 \left (3 \sqrt {-c^2} d+e\right )-c^2 d^2 \left (\sqrt {-c^2} d+3 e\right )\right ) (d+e x)^2 \log \left (1+\sqrt {-c^2} x\right )-2 c^2 e \left (3 c^2 d^2-e^2\right ) (d+e x)^2 \log (d+e x)\right )}{\left (c^2 d^2+e^2\right )^3}}{6 e (d+e x)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.20, size = 286, normalized size = 1.39
method | result | size |
derivativedivides | \(\frac {-\frac {a \,c^{4}}{3 \left (c e x +c d \right )^{3} e}-\frac {b \,c^{4} \arctan \left (c x \right )}{3 \left (c e x +c d \right )^{3} e}-\frac {b \,c^{6} \ln \left (c^{2} x^{2}+1\right ) d^{2}}{2 \left (c^{2} d^{2}+e^{2}\right )^{3}}+\frac {b \,c^{4} e^{2} \ln \left (c^{2} x^{2}+1\right )}{6 \left (c^{2} d^{2}+e^{2}\right )^{3}}+\frac {b \,c^{7} \arctan \left (c x \right ) d^{3}}{3 e \left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{5} e \arctan \left (c x \right ) d}{\left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{4}}{6 \left (c^{2} d^{2}+e^{2}\right ) \left (c e x +c d \right )^{2}}+\frac {b \,c^{6} \ln \left (c e x +c d \right ) d^{2}}{\left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{4} e^{2} \ln \left (c e x +c d \right )}{3 \left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {2 b \,c^{5} d}{3 \left (c^{2} d^{2}+e^{2}\right )^{2} \left (c e x +c d \right )}}{c}\) | \(286\) |
default | \(\frac {-\frac {a \,c^{4}}{3 \left (c e x +c d \right )^{3} e}-\frac {b \,c^{4} \arctan \left (c x \right )}{3 \left (c e x +c d \right )^{3} e}-\frac {b \,c^{6} \ln \left (c^{2} x^{2}+1\right ) d^{2}}{2 \left (c^{2} d^{2}+e^{2}\right )^{3}}+\frac {b \,c^{4} e^{2} \ln \left (c^{2} x^{2}+1\right )}{6 \left (c^{2} d^{2}+e^{2}\right )^{3}}+\frac {b \,c^{7} \arctan \left (c x \right ) d^{3}}{3 e \left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{5} e \arctan \left (c x \right ) d}{\left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{4}}{6 \left (c^{2} d^{2}+e^{2}\right ) \left (c e x +c d \right )^{2}}+\frac {b \,c^{6} \ln \left (c e x +c d \right ) d^{2}}{\left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {b \,c^{4} e^{2} \ln \left (c e x +c d \right )}{3 \left (c^{2} d^{2}+e^{2}\right )^{3}}-\frac {2 b \,c^{5} d}{3 \left (c^{2} d^{2}+e^{2}\right )^{2} \left (c e x +c d \right )}}{c}\) | \(286\) |
risch | \(\text {Expression too large to display}\) | \(6058\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 354, normalized size = 1.72 \begin {gather*} -\frac {1}{6} \, {\left (c {\left (\frac {{\left (3 \, c^{4} d^{2} - c^{2} e^{2}\right )} \log \left (c^{2} x^{2} + 1\right )}{c^{6} d^{6} + 3 \, c^{4} d^{4} e^{2} + 3 \, c^{2} d^{2} e^{4} + e^{6}} - \frac {2 \, {\left (3 \, c^{4} d^{2} - c^{2} e^{2}\right )} \log \left (x e + d\right )}{c^{6} d^{6} + 3 \, c^{4} d^{4} e^{2} + 3 \, c^{2} d^{2} e^{4} + e^{6}} + \frac {4 \, c^{2} d x e + 5 \, c^{2} d^{2} + e^{2}}{c^{4} d^{6} + 2 \, c^{2} d^{4} e^{2} + {\left (c^{4} d^{4} e^{2} + 2 \, c^{2} d^{2} e^{4} + e^{6}\right )} x^{2} + d^{2} e^{4} + 2 \, {\left (c^{4} d^{5} e + 2 \, c^{2} d^{3} e^{3} + d e^{5}\right )} x} - \frac {2 \, {\left (c^{6} d^{3} - 3 \, c^{4} d e^{2}\right )} \arctan \left (c x\right )}{{\left (c^{6} d^{6} e + 3 \, c^{4} d^{4} e^{3} + 3 \, c^{2} d^{2} e^{5} + e^{7}\right )} c}\right )} + \frac {2 \, \arctan \left (c x\right )}{x^{3} e^{4} + 3 \, d x^{2} e^{3} + 3 \, d^{2} x e^{2} + d^{3} e}\right )} b - \frac {a}{3 \, {\left (x^{3} e^{4} + 3 \, d x^{2} e^{3} + 3 \, d^{2} x e^{2} + d^{3} e\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 620 vs.
\(2 (188) = 376\).
time = 1.99, size = 620, normalized size = 3.01 \begin {gather*} -\frac {2 \, a c^{6} d^{6} + 5 \, b c^{5} d^{5} e - 2 \, {\left (3 \, b c^{6} d^{5} x e - 3 \, b c^{4} d x^{3} e^{5} - b e^{6} - 3 \, {\left (3 \, b c^{4} d^{2} x^{2} + b c^{2} d^{2}\right )} e^{4} + {\left (b c^{6} d^{3} x^{3} - 9 \, b c^{4} d^{3} x\right )} e^{3} + 3 \, {\left (b c^{6} d^{4} x^{2} - 2 \, b c^{4} d^{4}\right )} e^{2}\right )} \arctan \left (c x\right ) + {\left (b c x + 2 \, a\right )} e^{6} + {\left (4 \, b c^{3} d x^{2} + b c d\right )} e^{5} + 2 \, {\left (5 \, b c^{3} d^{2} x + 3 \, a c^{2} d^{2}\right )} e^{4} + 2 \, {\left (2 \, b c^{5} d^{3} x^{2} + 3 \, b c^{3} d^{3}\right )} e^{3} + 3 \, {\left (3 \, b c^{5} d^{4} x + 2 \, a c^{4} d^{4}\right )} e^{2} + {\left (9 \, b c^{5} d^{4} x e^{2} + 3 \, b c^{5} d^{5} e - b c^{3} x^{3} e^{6} - 3 \, b c^{3} d x^{2} e^{5} + 3 \, {\left (b c^{5} d^{2} x^{3} - b c^{3} d^{2} x\right )} e^{4} + {\left (9 \, b c^{5} d^{3} x^{2} - b c^{3} d^{3}\right )} e^{3}\right )} \log \left (c^{2} x^{2} + 1\right ) - 2 \, {\left (9 \, b c^{5} d^{4} x e^{2} + 3 \, b c^{5} d^{5} e - b c^{3} x^{3} e^{6} - 3 \, b c^{3} d x^{2} e^{5} + 3 \, {\left (b c^{5} d^{2} x^{3} - b c^{3} d^{2} x\right )} e^{4} + {\left (9 \, b c^{5} d^{3} x^{2} - b c^{3} d^{3}\right )} e^{3}\right )} \log \left (x e + d\right )}{6 \, {\left (3 \, c^{6} d^{8} x e^{2} + c^{6} d^{9} e + x^{3} e^{10} + 3 \, d x^{2} e^{9} + 3 \, {\left (c^{2} d^{2} x^{3} + d^{2} x\right )} e^{8} + {\left (9 \, c^{2} d^{3} x^{2} + d^{3}\right )} e^{7} + 3 \, {\left (c^{4} d^{4} x^{3} + 3 \, c^{2} d^{4} x\right )} e^{6} + 3 \, {\left (3 \, c^{4} d^{5} x^{2} + c^{2} d^{5}\right )} e^{5} + {\left (c^{6} d^{6} x^{3} + 9 \, c^{4} d^{6} x\right )} e^{4} + 3 \, {\left (c^{6} d^{7} x^{2} + c^{4} d^{7}\right )} e^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 7.26, size = 9202, normalized size = 44.67 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {a+b\,\mathrm {atan}\left (c\,x\right )}{{\left (d+e\,x\right )}^4} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________